Looking at my logs, it has been 14 days now since I started working on SN Err, the lua markdown library I'm using can't handle anchor # inside a link. Oh well.
Look back further, it has been more than a month now since I started logging my daily activites. I think I'll review it this weekend to get an idea what I need to change or improve on. I wasn't actually consistent with logging what I did for a day. What was logged was mostly my time on the computer, and not much else outside that. Well, there's not much else to say when it comes to my daily routine. I live in a tiny hikikomori NEET world.
Worked on SN, fixed some filesystem errors when creating a release build. There's definitely a bunch of added complexity by having a self-contained binary with the assets embedded, not sure if this is worth it. For now, I managed to make it work, I fixed the errors by replacing direct calls to os.Stat with my own fsStat(fs, filename).
I'm more or less almost done with the project, it's quite usable with its current state. I will be using this to read HN from now on.
My original goal was to create an HN clone to test my lua templating library. But creating an HN frontend works as well. I'm convinced using lua as an alternative templating engine works quite well, I might actually use it for more web projects in the future.
I'm still considering whether I should still try creating a full HN clone. It's not actually easy running a forum. For one, I don't have the (financial) resources to maintain it. Second, no one will use it but me. Third, it might get defaced or hacked quite easily. Despite all that, I feel like just doing it anyway. Try reduce server load, I could aggresively just cache everything, and just update the site for one or two times a day. Or not.
For now, I think I'll continue watching that video titled "Godot 4 - Tiled Dungeon Environment From Scratch".
Read a bit of Full Frontal Calculus (FFC), I mostly read and didn't do the exercises. I would have probably been already lost by page 15, but good thing I already have a good intuition of what this all means, so it's easier to follow. Basically, a recap.
Played around with my rocketbook again. I tried answering my own question, how do I express multiplication and division with addition and subtraction.
Multiplication of two numbers x and y is just
xy = x + x + x ... + x
^ y times
xy = y + y + y ... + y
^ x times
x + y = xy(x~ + y~)
xy = (x + y)(x~ + y~)~
xy = (x + y) / (x~ + y~)The sum of inverses sure do come up a lot, maybe there is another way of expressing it? What about
1 = 2~ + 2~
1 = 3~ + 3~ + 3~
1 = 4~ + 4~ + 4~ + 4~
1 = 5~ + 5~ + 5~ + 5~ + 5~
x + y = xy(x~ + y~)
xy(x~ + y~) = x + y
x~ + y~ = (x + y)x~y~
2~ + 2~ = (2 + 2)(2*2)~
2~ + 2~ = 4(4)~
3~ + 3~ + 3~
= (3+3)(3~)(3~) + 3~
= (3+3)[(3)(3)]~ + 3~
= [(3+3)~(3)(3)]~ + 3~
= (_ + 3)[(_)*3]~
= ([(3+3)~(3)(3)] + 3)[[(3+3)~(3)(3)]*3]~What about expressing division in terms of addition or subtraction?
12 / 4
= 12 + -3 + -3 + -3
= 12 + -(3 + 3 + 3 + 3) + 3
= 12 + 3*4 - 3
12(4~) = 3
12(4~) = 3
